In this paper, I revisit Frege's theory of sense and reference in the constructive setting of the meaning explanations of type theory, extending and sharpening a program–value analysis of sense and reference proposed by Martin-Löf building on previous work of Dummett. I propose a computational identity criterion for senses and argue that it validates what I see as the most plausible interpretation of Frege's equipollence principle for both sentences and singular terms. Before doing so, I examine Frege's implementation of (...) his theory of sense and reference in the logical framework of Grundgesetze, his doctrine of truth values, and views on sameness of sense as equipollence of assertions. (shrink)

It is often claimed that the theory of function levels proposed by Frege in Grundgesetze der Arithmetik anticipates the hierarchy of types that underlies Church’s simple theory of types. This claim roughly states that Frege presupposes a type of functions in the sense of simple type theory in the expository language of Grundgesetze. However, this view makes it hard to accommodate function names of two arguments and view functions as incomplete entities. I propose and defend an alternative interpretation of first-level (...) function names in Grundgesetze into simple type-theoretic open terms rather than into closed terms of a function type. This interpretation offers a still unhistorical but more faithful type-theoretic approximation of Frege’s theory of levels and can be naturally extended to accommodate second-level functions. It is made possible by two key observations that Frege’s Roman markers behave essentially like open terms and that Frege lacks a clear criterion for distinguishing between Roman markers and function names. (shrink)

I discuss problems with Martin-Löf's distinction between analytic and synthetic judgments in constructive type theory and propose a revision of his views. I maintain that a judgment is analytic when its correctness follows exclusively from the evaluation of the expressions occurring in it. I argue that Martin-Löf's claim that all judgments of the forms a : A and a = b : A are analytic is unfounded. As I shall show, when A evaluates to a dependent function type (...) (x : B) → C, all judgments of these forms fail to be analytic and therefore end up as synthetic. Going beyond the scope of Martin-Löf's original distinction, I also argue that all hypothetical judgments are synthetic and show how the analytic-synthetic distinction reworked here is capable of accommodating judgments of the forms A type and A = B type as well. Finally, I consider and reject an alternative account of analyticity as decidability and assess Martin-Löf's position on the analytic grounding of synthetic judgments. (shrink)

This article explores aspects of Rosenzweig’s Star of Redemption from the perspective of systems theory. Mosès, Pollock, and others have noted the systematic character of the Star. While “systematic” does not mean “systems theoretic,” the philosophical theology of the Star encompasses ideas that are salient in systems theory. The Magen David star to which the title refers, and which deeply structures Rosenzweig’s thought, fits the classic definition of “system” – a set of elements (God, World, Human) and relations between the (...) elements (Creation, Revelation, Redemption). The Yes and No of the elements and their reversals illustrate the bridging of element and relation with the third category of “attribute,” a notion also central to the definition of “system.” In the diachronics of “the All,” the relations actualize what is only potential in the elements in their primordial state and thus remedy the incompleteness of these elements, fusing them into an integrated whole. Incompleteness is a major theme of systems theory, which also explicitly examines the relations between wholes and parts and offers a formal framework for expressing such fusions. In this article, the systems character of Parts I & II of the Star is explored through extensive use of diagrams; a systems exploration of Part III is left for future work. Remarkably, given its highly architectonic character, diagrams are absent in Rosenzweig’s book, except for the triangle of elements, the triangle of relations, and the hexadic star, which are presented on the opening page of each part of the book. While structures can be explicated entirely in words, diagrams are a visual medium of communication that supplements words and supports a nonverbal understanding that structures both thought and experience. (shrink)

The is a review of Andrew J. Martin's book, _The Covenant with Moses and the Kingdom of God: Thomas Hobbes and the Theology of the Old Covenant in Early Modern England_.

Filosofía Judía, una noción, problemática, incluso ambigua para muchos, catalogada como incierta, dado su ligamen con una comprensión de filosofía regionalizada, e incluso como una filosofía de una nación. Sin embargo, tales barullos encuentran una contraposición, desde un área académica que apunta al esclarecimiento de la noción. Uno de los trabajos que retoman esta labor de elucidación se desprende del texto intitulado “History of Jewish Philosophy” editado por Daniel H. Frank y Olivier Leaman (1997), en dicho trabajo se realiza una (...) mención de principios y fundamentos, así como una descripción de diferentes momentos del pensamiento desde la época medieval hasta nuestros días. En el escrutinio de las fuentes de reflexión de la designada Filosofía Judía, ahí se reconocer como elementos de inspiración el Tanaj, el Talmud y la interacción con las escuelas griegas de pensamiento; además, en lo que respecta al itinerario investigativo, los autores exponen una serie de propuestas, de múltiples autores ligados a este tendencia, entre los que se pueden citar Moses Maimonides, Hermann Cohen, Franz Rosenzweig, Martin Buber y Emmanuel Levinas. (shrink)

RESUMO A inseminação artificial em tempo fixo (IATF) é uma das biotecnologias de reprodução mais estudadas dos últimos anos, e a busca pelo equilíbrio entre a fisiologia animal e o controle hormonal fomenta uma série de estudos. Sendo assim, o objetivo com este trabalho foi avaliar a eficiência da aplicação do hormônio liberador de gonadotrofinas (GnRH) no dia zero (D0) do protocolo de IATF, a base de estrógeno e progesterona sobre a taxa de penhez por IATF. O experimento foi desenvolvido (...) na Universidade Federal de Uberlândia (UFU), na Fazenda Experimental do Glória, localizada no município de Uberlândia, no estado de Minas Gerais. Foram avaliadas 69 inseminações de vacas leiteiras mestiças, divididas em dois grupos com diferentes protocolos; Controle: sem aplicação de GnRH e Tratamento: aplicação de GnRH no dia zero do protocolo. Todos os animais foram inseminados com sêmen previamente analisado. O diagnóstico de gestação foi realizado 32 dias após a inseminação, com aparelho de ultrassonografia equipado com probe linear transretal de 7,5 MHz. Os dados foram analisados por análise descritiva, sendo avaliado o efeito da relação protocolo e presença de corpo lúteo no início do protocolo e efeito da relação protocolo e ordem de IA Pós-Parto sobre a taxa de concepção. A taxa de concepção após a realização do Protocolo Tratamento foi de 53% (17/32) e do Protocolo Controle foi de 43% (16/37). Portanto, conclui-se que o protocolo de sincronização de vacas leiteiras mestiças com a aplicação de GnRH no dia zero do protocolo resultou em um aumento no número da taxa de concepção de vacas leiteiras mestiças. Palavras-chave: biotecnologia; bovinocultura; hormônio; ovulação; reprodução. ABSTRACT The artificial insemination at fixed time (AIFT) is one of the most studied reproduction biotechnologies in recent years, and the search for a balance between animal physiology and hormonal control fosters a series of studies. Therefore, the objective of this work was to to evaluate the efficiency of gonadotrofine hormone inducer (GnRH) on day zero (D0) of the AIFT protocol, an estrogen and progesterone base on an AIFT rate. The experiment was developed at the Federal University of Uberlândia (UFU), at the Experimental Farm of Glória, located in the municipality of Uberlândia, in the state of Minas Gerais. Were evaluated 69 inseminations of crossbred dairy cows divided into two groups with different protocols; Control: without application of GnRH and Treatment: application of GnRH on day zero of the protocol. All animals were inseminated with previously analyzed semen. The diagnosis of pregnancy was performed 32 days after insemination, with an ultrasound device equipped with a 7.5 MHz transrectal linear probe. The data were analyzed by descriptive analysis, evaluating the effect of the protocol relationship and the presence of corpus luteum at the beginning of the protocol and the effect of the protocol relationship and postpartum AI order on the conception rate. The conception rate after performing of the Treatment Protocol was 53% (17/32) and the Control Protocol was 43% (16/37). Therefore, it is concluded that the synchronization protocol of crossbred dairy cows with the application of GnRH on day zero of the protocol resulted in an increase in the number of conception rates of crossbred dairy cows. Keywords: biotechnology; cattle breeding; hormone; ovulation; reproduction. -/- REFERÊNCIAS BIBLIOGRÁFICAS ATANASOV, A. S.; DINEVA, J. D.; YOTOV, S. A. Ultrasonic evaluation of uterine involution in Bulgarian Murrah buffalo after administration of oxytocin. Animal Reproduction Science, v.133, p.71-76, 2012. BALL, P. J. H.; PETERS, A. R. Reprodução em bovinos. São Paulo – SP. BARBOSA, C. F. et al. Inseminação artificial em tempo fixo e diagnóstico precoce de gestação em vacas leiteiras mestiças. Revista Brasileira de Zootecnia, v. 40, p. 79-84, 2011. BARBOSA, C. F. et al. Inseminação artificial em tempo fixo e diagnóstico precoce de gestação em vacas leiteiras mestiças. Revista Brasileira de Zootecnia, Viçosa, MG, v. 40, n. 1, pág. 79-84, 2011. BARROS, C. M.; FIGUEIREDO, R. A.; PINHEIRO, O. L. Estro, ovulação e dinâmica folicular em zebuínos. Revista Brasileira de Reprodução Animal, Belo Horizonte, v.19, p. 9-22, 1995. BARUSELLI, P. S. Controle farmacológico do ciclo estral em ruminantes. Faculdade de Medicina Veterinária e Zootecnia. Departamento de reprodução animal, Universidade de São Paulo, 2000. BARUSELLI, P. S. et al. Review: Using artificial insemination v. natural service in beef herds. Animal, London, v. 12, p. 45-52, 2018. BEG, M. A.; GINTHER, O. J. Follicle selection in cattle and horses: role of intrafollicular factors. Reproduction, v. 132, pag. 365-377, 2006. BERTAN, C. M.; BINELLI, M.; MADUREIRA, E. H. Caracterização do estro de novilhas cruzadas (Bos taurus indicus x Bos taurus taurus) por radiotelemetria. Brazilian Journal of Veterinary Research and Animal Science, São Paulo, v. 43, n. 6, p. 816-823, 2006. BÓ, G. A.; BARUSELLI, P. S.; MARTINEZ, M. F. Pattern and manipulation of follicular development in Bos indicus cattle. Animal Reproduction Science, v.78, p.307-326, 2003. BÓ, G.; CUTAIA, P. S; BARUSELLI. Programas de inseminación artificial y transferencia de embriones a tiempo fijo. In: SIMPÓSIO INTERNACIONAL DE REPRODUÇÃO APLICADA, 1., 2004, Londrina [Trabalhos apresentados] Cornélio Procópio: Geraembryo, 2004. p. 56-81. Disponível em:. Acesso em: 12 nov. 2022. BORGES, A. M. et al. Dinâmica folicular e momento da ovulação em vacas não lactantes das raças Gir e Nelore durante duas estações do ano. Arquivo Brasileiro de Medicina Veterinária e Zootecnia. Belo Horizonte, v.56, n.3, p.346-354, 2004. BORGES, A. M. Dinâmica folicular e superovulação em novilhas mestiças tratadas com somatotropina bovina (rBST) e efeito da temperatura na qualidade dos embriões. 1999. Tese de Doutorado. UFV. BURATINI, J. J. Controle endócrino e local da foliculogênese em bovinos. Revista Brasileira de Reprodução Animal. Belo Horizonte, v.31, n.2, p.190-196, 2007. CALLEJAS, S. S.; FISIOLOGÍA, D. E. L.; CICLO ESTRAL BOVINO. In: Palma GA. Biotecnología de la reproducción. Mar del Plata: Reprobiotec, 2001. p.37-49. CAMPOS, C. C.; SANTOS, R. M. Taxa de concepção e detecção do estro de retorno após a IATF em vacas Holandesas. Semina: Ciências Agrárias, v. 36, n. 3, suplemento 1, p. 1945- 1954, 2015. Disponível em:. Acesso em: 08 fev. 2022 CARVALHO, B. C. Parâmetros reprodutivos, metabólitos e produção de leite de vacas mestiças Holandês x Zebu submetidas a dois manejos pré-parto. Tese (Doutorado em Medicina Veterinária) - Escola de Veterinária, Universidade Federal de Minas Gerais, Belo Horizonte, 2009. CASTILHO, E. F. IATF como ferramenta no melhoramento genético de bovinos de leite. In: CASTILHO, E. F. (org.). Inseminação artificial em tempo fixo (IATF) em bovinos leiteiros. 1. ed. Maringá: IEPEC, 2015. p. 148-191. CHEBEL, R. C. et al. Factors affecting conception rate after artificial insemination and pregnancy loss in lactating dairy cows. Animal Reproduction Science, v.84, p.239-255, 2004. CLIMATE DATA ORG. Clima Uberlândia. Disponível em:. Acesso em: 08 fev. de 2022. Curso de Transferência de Embriões, Uberlândia: ASBIA, 2021. Disponível em:. Acesso em: 08 fev. 2022. DA SILVA, Emanuel Isaque Cordeiro. Endocrinologia da Reprodução Animal. 2020. DA SILVA, Emanuel Isaque Cordeiro. Fisiologia Clínica do Ciclo Estral de Vacas Leiteiras: Desenvolvimento Folicular, Corpo Lúteo e Etapas do Estro. 2020. DA SILVA, Emanuel Isaque Cordeiro. Fisiologia da Reprodução de Bovinos Leiteiros: Aspectos Básicos e Clínicos. Emanuel Isaque Cordeiro da Silva, 2022. DA SILVA, Emanuel Isaque Cordeiro; DA SILVA, Emanuel Isaque. Hormônios e Sistema Endócrino na Reprodução Animal. 2020. D’AVILA, C. A. et al. Hormônio utilizados na indução da ovulação em bovinos. Revista Brasileira de Reprodução Animal. Belo Horizonte, v. 43, n. 4, p. 797-802, out./dez.2019. Disponível em:. Acesso em: 25 de jan. 2022. DEMÉTRIO, D.G.B. et al. Factors affecting conception rates following artificial insemination or embryo transfer in lactating Holstein cows. Journal of Dairy Science, v.90, p.5073-5082, 2007. DUARTE JUNIOR, M. F. et al. Aspectos relacionados a fisiologia do anestro pós parto em bovinos. Colloquium Agrariae, Cuiabá, v.9, p.43-71, 2013. DUKES, H. H.; SWENSON, M. J.; REECE, W. Dukes fisiologia dos animais domésticos. 12. ed. Rio de Janeiro: Guanabara Koogan, 2006. FERREIRA, A. M. Reprodução da fêmea bovina: fisiologia aplicada e problemas mais comuns (causas e tratamentos). Juiz de Fora: Edição do Autor, 2010. FINK, G. Gonadotropin secretion and its control. In: KNOBIL, E.; NEILL, J. (ed.), The physiology of reproduction. New York: Raven Press, 1988. p. 1349-1377. FOLMAN, Y. et al. Comparison of methods for the synchronization of estrous cycles in dairy cows. 2. Effects of progesterone and parity on conception. Journal of Dairy Science, v.73, p.2817-2825, 1990. FONSECA, F. A. et al. Reproductive traits of Holsteins and Jerseys. Effects of age, milk yield, and clinical abnormalities on involution of cervix and uterus, ovulation, estrous cycles, detection of estrus, conception rate, and days open. Journal of Dairy Science, v.66, p.1128- 1147, 1983. FORTUNE, J. E.; RIVERA, G. M.; YANG, M. Y. Follicular development: the role of the follicular microenvironment in selectionof the dominant follicle. Animal Reproduction Science, v.82-83, p.109-126, 2004. FURTADO, D. A. et al. Inseminação Artificial em Tempo Fixo em Bovinos de Corte. Revista Científica Eletrônica de Medicina Veterinária, n. 16, pag. 25, 2011. GINTHER O. J. et al. Selection of the dominant follicle in cattle. Biology of Reproduction, v.55, p.1187-1194, 1996. GONZÁLEZ, F. H. D. Introdução à endocrinologia reprodutiva veterinária. Porto Alegre: UFRGS, 2002. 87p. Disponível em:. Acesso em: 12 dez. 2022. HAFEZ, E. S. E.; HAFEZ, B. Ciclos Reprodutivos. In: HAFEZ, E. S. E.; HAFEZ, B. Reprodução Animal, 7. ed. Barueri, SP: Ed. Manole, 2004. cap. 4, p. 55-67. IBGE – INSTITUTO BRASILEIRO DE GEOGRAFIA E ESTATÍSTICA. Produção de Leite. IBGE, 2021. LOPES, P. F. R.; RICARDO, P. Y.; LUIZ, C. T. Custos e escala de produção na pecuária leiteira: estudo nos principais estados produtores do Brasil. Revista de Economia e Sociologia Rural, 2007. v. 45, n. 3. Disponível em:. Acesso em: 08 fev. 2022. MADUREIRA, E. H. et al. Sincronização com prostágenos. In: I Simpósio Internacional de Reprodução Animal Aplicada. Londrina, Faculdade de Medicina Veterinária e Zootecnia. Universidade de São Paulo, p. 117-128, 2004. MARTEL, C. A. Fertility after timed AI insemination in response to a controlled internal drug release (CIDR) insert in lactating dairy cows. 2008. 48f. Thesis (MS Science) Kansas State University, Manhattan, Kansas, USA. MARTIN, I. et al. Características ultrassonográficas do útero de vacas Nelore (Bos taurus indicus) ao longo do ciclo estral. Veterinária e Zootecnia, Botucatu, v.15, n.2, ago., p. 349- 359, 2008. MIRANDA, J. E.C.; FREITAS, A. F. Raças e tipos de cruzamentos para produção de leite. Juíz de Fora: Embrapa Gado de Leite, 2009. Circular Técnica, 98. 12p. MOREIRA, R. J. C., Uso do protocolo Crestar® em tratamentos utilizando benzoato de estradiol, PGF2α, PMSG e GnRH para controle do ciclo estral e ovulação em vacas de corte. 2002, 62f. Dissertação de Mestrado, Piracicaba, 2003. MOSES, V. S.; BERTONE, A. L. Nonsteroidal anti-inflammatory drugs. Veterinary Clinics of North America, v.18, p.21-37, 2002. NAKAMURA, T.; SAKAMOTO, K. Reactive oxygen species up-regulates cyclooxygenase2, p53, and Bax mRNA expression in bovine luteal cells. Biochemical and Biophysical Research Communications. v.284 p.203-210. 2001. NASSER, L. F. T. Resposta superovulatória na primeira onda de crescimento folicular em doadoras Nelore (Bos taurus indicus). 2006, 80f. Tese (Doutorado) - USP. FMVZ. Departamento de reprodução animal, São Paulo. OLIVEIRA, M. Fisiologia da reprodução bovina e métodos de controle do ciclo estral. 2006. 28 f. Tese (Especialização em Reprodução e Produção de Bovinos) -UNIVERSIDADE CASTELO BRANCO, Rio de Janeiro, 2006. PALHANO, H. B. Reprodução em Bovinos, LF livros de veterinária, 2 edição, 2008, 249p. PONCIO, V. A. P. EFICIÊNCIA DE DOIS PROTOCOLOS DE IATF UTILIZANDO BENZOATO DE ESTRADIOL OU GnRH. Nova Odessa. 2021. Disponível em:. Acesso em: 25 de jan. 2022. PURSLEY, J. R.; MEE, M. O.; WILTBANK, M. C. Synchronization of ovulation in dairy cows using PGF2α and GnRH. Theriogenology, v.44, p.915-923, 1995. REICHENBACH, H. D.; MORAES, J. C. F.; NEVES, J. P. 2008. Tecnologia do sêmen e inseminação artificial em bovinos. In: Gonçalves P. B. D.; Figueiredo J. R. e Freitas V. J. F. Biotécnicas aplicadas à reprodução animal. 2ª ed. São Paulo: Ed. Roca. 395 p. ROBINSON, R. S. et al. Corpus luteum-endometriumembryo interactions in the dairy cow: underlying mechanisms and clinical relevance. Reproduction in Domestic Animals, v.43, p.104-12, 2008. Roca, 3ª Edição, 232 p., 2006. RUAS, J. R. M. et al. Vacas F1 Holandês x Zebu: uma opção para sistema de produção de leite em condições tropicais. Inf. Agropec., v.35, p.113-120, 2014. SARTORI, R. Manejo reprodutivo da fêmea leiteira. Reprodução Animal, Belo Horizonte, v.31, n.2, p.153-159, abr./jun. 2007. Disponível em:. Acesso em: 08 fev. 2022. SILVA, A. T. N. et al. Efeito de diferentes estratégias de manejo na distribuição da prenhez em vacas de corte mestiças paridas. In: XVI Congresso Brasileiro de Reprodução Animal. (Goiânia, Brasil). Resumo 158, 2007. SILVA, A.S. et al. Avaliação do custo benefício da inseminação artificial convencional e em tempo fixo de fêmeas bovinas pluríparas de corte. Revista Brasileira de Reprodução Animal, v.31, n.4, p.443-445, 2007. SOUZA, A. H. et al. Efeitos da gonadotrofina coriônica equina e do tipo de estímulo ovulatório em um protocolo de IA cronometrada sobre as respostas reprodutivas em vacas leiteiras. Teriogenologia, Stoneham, v. 72, n. 1, pág. 10-21, 2009. STABENFELDT, G. H.; EDQVIST, L. E. Processos Reprodutivos da Fêmea. In: SWENSON, M. J.; REECE, W., Dukes Fisiologia dos Animais Domésticos, Rio de Janeiro: Guanabara Koogan, 1996. cap. 36, p. 615-644. VALLE, E. R. O ciclo estral de bovinos e métodos de controle. Campo Grande: EMBRAPA – CNPGC, 1991. 24p. (EMBRAPA-CNPGC. Documentos, 48). VISHWANATH, R. Artificial insemination: the state of the art. Theriogenology, v.59, p.571- 584, 2003. WOLFENSON, D. et al. The effect of a GnRH analogue on the dynamics of follicular development and synchronization of estrus in lactating cyclic dairy cows. Theriogenology, v.42, p.633- 644, 1994. YAMADA, K. Desenvolvimento da sincronização da ovulação e inseminação artificial em tempo fixo em vacas leiteiras. Jornal de Reprodução e Desenvolvimento, Nagoya, v. 51, n. 2, pág. 177-186, 2005. (shrink)

My first aim in this paper is to use time diagrams in the style of Brentano to analyze constructions in Brouwer's separable mathematics more precisely. I argue that constructions must involve not only pairing and projecting as basic operations guaranteed by the intuition of twoity, as sometimes assumed in the literature, but also a recalling operation. My second aim is to argue that Brouwer's views on the intuition of twoity and arithmetic lead to an ontological explosion. Redeveloping the constructions of (...) natural numbers and systems sketched in an appendix to Brouwer's Cambridge lectures, I observe that the only plausible way he can make some elementary arithmetic in his separable mathematics is by allowing for the same canonical number to be determined by multiple separable entities, resulting in an overabundant mathematical ontology. (shrink)

In a series of papers Ladyman and Presnell raise an interesting challenge of providing a pre-mathematical justification for homotopy type theory. In response, they propose what they claim to be an informal semantics for homotopy type theory where types and terms are regarded as mathematical concepts. The aim of this paper is to raise some issues which need to be resolved for the successful development of their types-as-concepts interpretation.

I argue against the interpretation of propositions as intentions and proof-objects as fulfillments proposed by Heyting and defended by Tieszen and van Atten. The idea is already a frequent target of criticisms regarding the incompatibility of Brouwer’s and Husserl’s positions, mainly by Rosado Haddock and Hill. I raise a stronger objection in this paper. My claim is that even if we grant that the incompatibility can be properly dealt with, as van Atten believes it can, two fundamental issues indicate that (...) the interpretation is unsustainable regardless: (1) it is hard to determine, without appealing to propositional intentions on pain of circularity, what intention a proof-object should be understood as a fulfillment of; (2) due to a difficult fulfillment dilemma, it is unclear, at best, what the object of an intention corresponding to a proposition is. (shrink)

The aim of this paper is to present a constructive solution to Frege's puzzle (largely limited to the mathematical context) based on type theory. Two ways in which an equality statement may be said to have cognitive significance are distinguished. One concerns the mode of presentation of the equality, the other its mode of proof. Frege's distinction between sense and reference, which emphasizes the former aspect, cannot adequately explain the cognitive significance of equality statements unless a clear identity criterion for (...) senses is provided. It is argued that providing a solution based on proofs is more satisfactory from the standpoint of constructive semantics. (shrink)

This comprehensive volume features the proceedings of the Third International Workshop on Logics for New-Generation Artificial Intelligence and the International Workshop on Logic, AI and Law, held in Hangzhou, China on September 8-9 and 11-12, 2023. The collection offers a diverse range of papers that explore the intersection of logic, artificial intelligence, and law. With contributions from some of the leading experts in the field, this volume provides insights into the latest research and developments in the applications of logic in (...) these areas. It is an essential resource for researchers, practitioners, and students interested in the latest advancements in logic and its applications to artificial intelligence and law. (shrink)

This paper presents a recent formalization of a Henkin-style completeness proof for the propositional modal logic S5 using the Lean theorem prover. The proof formalized is close to that of Hughes and Cresswell, but the system, based on a different choice of axioms, is better described as a Mendelson system augmented with axiom schemes for K, T, S4, and B, and the necessitation rule as a rule of inference. The language has the false and implication as the only primitive logical (...) connectives and necessity as the only primitive modal operator. The full source code is available online and has been typechecked with Lean 3.4.2. (shrink)

This paper aims to answer the question of whether or not Frege's solution limited to value-ranges and truth-values proposed to resolve the "problem of indeterminacy of reference" in section 10 of Grundgesetze is a violation of his principle of complete determination, which states that a predicate must be defined to apply for all objects in general. Closely related to this doubt is the common allegation that Frege was unable to solve a persistent version of the Caesar problem for value-ranges. It (...) is argued that, in Frege’s standards of reducing arithmetic to logic, his solution to the indeterminacy does not give rise to any sort of Caesar problem in the book. (shrink)

This article proposes a way of doing type theory informally, assuming a cubical style of reasoning. It can thus be viewed as a first step toward a cubical alternative to the program of informalization of type theory carried out in the homotopy type theory book for dependent type theory augmented with axioms for univalence and higher inductive types. We adopt a cartesian cubical type theory proposed by Angiuli, Brunerie, Coquand, Favonia, Harper, and Licata as the implicit foundation, confining our presentation (...) to elementary results such as function extensionality, the derivation of weak connections and path induction, the groupoid structure of types, and the Eckmman–Hilton duality. (shrink)

This book explores a question central to philosophy--namely, what does it take for a belief to be justified or rational? According to a widespread view, whether one has justification for believing a proposition is determined by how probable that proposition is, given one's evidence. In this book this view is rejected and replaced with another: in order for one to have justification for believing a proposition, one's evidence must normically support it--roughly, one's evidence must make the falsity of that proposition (...) abnormal in the sense of calling for special, independent explanation. This conception of justification bears upon a range of topics in epistemology and beyond. Ultimately, this way of looking at justification guides us to a new, unfamiliar picture of how we should respond to our evidence and manage our own fallibility. This picture is developed here. (shrink)

This paper presents a formalization of the classical proof of completeness in Henkin-style developed by Troelstra and van Dalen for intuitionistic logic with respect to Kripke models. The completeness proof incorporates their insights in a fresh and elegant manner that is better suited for mechanization. We discuss details of our implementation in the Lean theorem prover with emphasis on the prime extension lemma and construction of the canonical model. Our implementation is restricted to a system of intuitionistic propositional logic with (...) implication, conjunction, disjunction, and falsity given in terms of a Hilbert-style axiomatization. As far as we know, our implementation is the first verified Henkin-style proof of completeness for intuitionistic logic following Troelstra and van Dalen's method in the literature. (shrink)

This paper will delve into the problem of Good Governance in the light of Kong Zi. What makes up a Just State? What are the elements that constitute a prosperous Kingdom? What principles of Confucianism can we employ to achieve a just and humane society? These are the primary questions that we will try to investigate as we go along. The paper will be thus divided into three essential parts: The Notion of Li and the Sovereign, The ConfucianMoral Ideal, and (...) lastly, The Great Commonwealth. (shrink)

In this paper I draw attention to a peculiar epistemic feature exhibited by certain deductively valid inferences. Certain deductively valid inferences are unable to enhance the reliability of one's belief that the conclusion is true—in a sense that will be fully explained. As I shall show, this feature is demonstrably present in certain philosophically significant inferences—such as GE Moore's notorious 'proof' of the existence of the external world. I suggest that this peculiar epistemic feature might be correlated with the much (...) discussed phenomenon that Crispin Wright and Martin Davies have called 'transmission failure'—the apparent failure, on the part of some deductively valid inferences to transmit one's justification for believing the premises. (shrink)

There is something puzzling about statistical evidence. One place this manifests is in the law, where courts are reluctant to base affirmative verdicts on evidence that is purely statistical, in spite of the fact that it is perfectly capable of meeting the standards of proof enshrined in legal doctrine. After surveying some proposed explanations for this, I shall outline a new approach – one that makes use of a notion of normalcy that is distinct from the idea of statistical frequency. (...) The puzzle is not, however, merely a legal one. Our unwillingness to base beliefs on statistical evidence is by no means limited to the courtroom, and is at odds with almost every general principle that epistemologists have proposed as to how we ought to manage our beliefs. (shrink)

I survey the philosophical literature on grounding explanation and its connection to metaphysical ground.

In a number of papers and in his recent book, Is Water H₂O? Evidence, Realism, Pluralism (2012), Hasok Chang has argued that the correct interpretation of the Chemical Revolution provides a strong case for the view that progress in science is served by maintaining several incommensurable “systems of practice” in the same discipline, and concerning the same region of nature. This paper is a critical discussion of Chang's reading of the Chemical Revolution. It seeks to establish, first, that Chang's assessment (...) of Lavoisier's and Priestley's work and character follows the phlogistonists' “actors' sociology”; second, that Chang simplifies late-eighteenth-century chemical debates by reducing them to an alleged conflict between two systems of practice; third, that Chang's evidence for a slow transition from phlogistonist theory to oxygen theory is not strong; and fourth, that he is wrong to assume that chemists at the time did not have overwhelming good reasons to favour Lavoisier's over the phlogistonists' views. (shrink)

In the years after 1919, Heidegger began to call for a “deconstruction” (Abbau) or “destruction” (Destruktion) of Western intellectual traditions in an attempt to “save culture.” He proposed that the “deconstruction” and “destruction” of intellectual traditions should proceed from a re-examination of the original Greek interpretation of Being, which had been misunderstood completely and utterly trivialized. From hereon, he began to articulate Being within the sphere of the world; Being as unveiled and revealed in Dasein. But the investigation of Being (...) did not stop in Being and Time. The meaning of Being lies in occurrence, that is, that the gods are not extant characters, but rather figures of remembrance and expectation. Only in dasein’s moment of existential longing can god be really empty of any claim and intention. This opens us to the “Last God” of the Contributions. (shrink)

This paper seeks to widen the dialogue between the “epistemology of peer disagreement” and the epistemology informed by Wittgenstein’s last notebooks, later edited as On Certainty. The paper defends the following theses: not all certainties are groundless; many of them are beliefs; and they do not have a common essence. An epistemic peer need not share all of my certainties. Which response to a disagreement over a certainty is called for, depends on the type of certainty in question. Sometimes a (...) form of relativism is the right response. Reasonable, mutually recognized peer disagreement over a certainty is possible.—The paper thus addresses both interpretative and systematic issues. It uses Wittgenstein as a resource for thinking about peer disagreement over certainties. (shrink)

_ Source: _Volume 6, Issue 2-3, pp 120 - 142 This paper aims to contribute to the debate over epistemic versus non-epistemic readings of the ‘hinges’ in Wittgenstein’s _On Certainty_. I follow Marie McGinn’s and Daniele Moyal-Sharrock’s lead in developing an analogy between mathematical sentences and certainties, and using the former as a model for the latter. However, I disagree with McGinn’s and Moyal-Sharrock’s interpretations concerning Wittgenstein’s views of both relata. I argue that mathematical sentences as well as certainties are (...) true and are propositions; that some of them can be epistemically justified; that in some senses they are not prior to empirical knowledge; that they are not ineffable; and that their primary function is epistemic as much as it is semantic. (shrink)

Consciousness is the major, perhaps the only, issue that makes the perennial mind-body problem unsolvable. To solve the problem, it is necessary to identify what produces consciousness. Every attempt to explain what produces consciousness has failed, and this failure is venom in discoursing the mind-body problem. Without consciousness in the real sense: the materialists within their framework would have succeeded in explaining how the body responds to impulses from the brain, now, their explanation is redundant; the immaterialists would have had (...) nothing to say, but now, their explanations on the nature of mind, and its relationship with the body, is confusing. This paper critically evaluates the concept, of consciousness, it observes that materialism and immaterialism have created more problems than what they set out to solve. Their mutually exclusive positions on the source of humans' consciousness and explanations of the relationship between the mind and body have closed the door to removing the venom in the mind-body problem. Also, that has hampered human yarning to know the true nature of reality. Based on the foregoing, this paper argues that consciousness is the product of both the body and mind. The mind is seen as a quasi-material – an extension of the main-brain. The source is likened to the signal received by the digital television set. The decoder receives information from the satellite dish and presents it to human beings in understandable ways. Without the satellite dish, there would be no such information, and without the television set, such information would be meaningless. Keywords: Consciousness; Main-brain; Materialism and Immaterialism; Mind-body; Neurons. (shrink)

If people believe that some property is true of all members of a class such as sofas, then they should also believe that the same property is true of all members of a conjunctively defined subset of that class such as uncomfortable handmade sofas. A series of experiments demonstrated a failure to observe this constraint, leading to what is termed the inverse conjunction fallacy. Not only did people often express a belief in the more general statement but not in the (...) more specific, but also when they accepted both beliefs, they were inclined to give greater confidence to the more general. It is argued that this effect underlies a number of other demonstrations of fallacious reasoning, particularly in category-based induction. Alternative accounts of the phenomenon are evaluated, and it is concluded that the effect is best interpreted in terms of intensional reasoning [Tversky, A., & Kahneman, D.. Extensional versus intuitive reasoning: the conjunction fallacy in probability judgment. Psychological Review, 90, 293-315.]. (shrink)

According to a captivating picture, epistemic justification is essentially a matter of epistemic or evidential likelihood. While certain problems for this view are well known, it is motivated by a very natural thought—if justification can fall short of epistemic certainty, then what else could it possibly be? In this paper I shall develop an alternative way of thinking about epistemic justification. On this conception, the difference between justification and likelihood turns out to be akin to the more widely recognised difference (...) between ceteris paribus laws and brute statistical generalisations. I go on to discuss, in light of this suggestion, issues such as classical and lottery-driven scepticism as well as the lottery and preface paradoxes. (shrink)

partial review of Thomas Nagel’s book, Mind and Cosmos: Why the Materialist Neo-Darwinian Conception of Nature Is Almost Certainly False is used to articulate some systems-theoretic ideas about the challenge of understanding subjective experience. The article accepts Nagel’s view that reductionist materialism fails as an approach to this challenge, but argues that seeking an explanation of mind based on emergence is more plausible than seeking one based on pan-psychism, which Nagel favors. However, the article proposes something similar to Nagel’s neutral (...) monism by positing a hierarchy of information processes that spans the domains of matter, life, and mind. As depicted in this hierarchy, subjective experience is emergent, but also continuous with informational phenomena at lower levels. (shrink)

Recent years have seen an explosion of interest in metaphysical explanation, and philosophers have fixed on the notion of ground as the conceptual tool with which such explanation should be investigated. I will argue that this focus on ground is myopic and that some metaphysical explanations that involve the essences of things cannot be understood in terms of ground. Such ‘essentialist’ explanation is of interest, not only for its ubiquity in philosophy, but for its being in a sense an ultimate (...) form of explanation. I give an account of the sense in which such explanation is ultimate and support it by defending what I call the inessentiality of essence. I close by suggesting that this principle is the key to understanding why essentialist explanations can seem so satisfying. (shrink)

A de minimis risk is defined as a risk that is so small that it may be legitimately ignored when making a decision. While ignoring small risks is common in our day-to-day decision making, attempts to introduce the notion of a de minimis risk into the framework of decision theory have run up against a series of well-known difficulties. In this paper, I will develop an enriched decision theoretic framework that is capable of overcoming two major obstacles to the modelling (...) of de minimis risk. The key move is to introduce, into decision theory, a non-probabilistic conception of risk known as normic risk. (shrink)

Causal contextualism holds that sentences of the form ‘c causes e’ have context-sensitive truth-conditions. We consider four arguments invoked by Jonathan Schaffer in favor of this view. First, he argues that his brand of contextualism helps solve puzzles about transitivity. Second, he contends that how one describes the relata of the causal relation sometimes affects the truth of one’s claim. Third, Schaffer invokes the phenomenon of contrastive focus to conclude that causal statements implicitly designate salient alternatives to the cause and (...) effect. Fourth, he claims that the appropriateness of a causal statement depends on what is contextually taken for granted or made salient. We show that causal invariantism can explain these linguistic data at least as well as contextualism. We then argue that pace Schaffer, some causal sentences are always correct and can never be plausibly denied, regardless of the context. (shrink)

Our understanding of subjunctive conditionals has been greatly enhanced through the use of possible world semantics and, more precisely, by the idea that they involve variably strict quantification over possible worlds. I propose to extend this treatment to ceteris paribus conditionals – that is, conditionals that incorporate a ceteris paribus or ‘other things being equal’ clause. Although such conditionals are commonly invoked in scientific theorising, they traditionally arouse suspicion and apprehensiveness amongst philosophers. By treating ceteris paribus conditionals as a species (...) of variably strict conditional I hope to shed new light upon their content and their logic. (shrink)

One of the most intriguing claims in Sven Rosenkranz’s Justification as Ignorance is that Timothy Williamson’s celebrated anti-luminosity argument can be resisted when it comes to the condition ~K~KP—the condition that one is in no position to know that one is in no position to know P. In this paper, I critically assess this claim.

Graham Harman writes that the “basic dualism in the world lies…between things in their intimate reality and things as confronted by other things.” However, dualism implies irreconcilable difference; what Harman points to is better expressed as a dyad, where the two components imply one another and interact. This article shows that systems theory has long asserted the fundamental character of Harman’s dyad, expressing it as the union of internal structure and external function, which correspond exactly to what Levi Bryant, characterizing (...) Harman’s views, refers to as the intra-ontic and the inter-ontic, respectively. After interpreting Harman’s dyad in terms of the ontology of systems theory, the article illustrates his dyad with a variety of examples, including conceptions about truth, ethics, value, and intelligence. The structure–function dyad is a spatial conception of a system as an object. It is usefully augmented with a temporal dimension, expressed in a third component or with an additional orthogonal dyad. Adding a temporal dyad to the structure–function dyad joins the idea of an event and/or process to the idea of an object. (shrink)

In this paper, I list various kinds of ‘plurality’ in philosophical investigations. By plurality, I mean a plurality of methodological criteria which we apply to philosophical phenomena and which are very often incompatible with each other. Any philosophical phenomenon can be approached from different methodological viewpoints and result in utterly different ontological and ideological commitments. In other words, I assume that one philosophical problem can have different solutions which depend on different methodological and theoretical presuppositions. Instead of considering this feature (...) of philosophical theories as a problem, I take this plurality as a natural meta-philosophical result. As an example, I consider impossible phenomena and ways of treating them systematically. (shrink)

Metaphysical rationalism, the doctrine which affirms the Principle of Sufficient Reason (the PSR), is out of favor today. The best argument against it is that it appears to lead to necessitarianism, the claim that all truths are necessarily true. Whatever the intuitive appeal of the PSR, the intuitive appeal of the claim that things could have been otherwise is greater. This problem did not go unnoticed by the great metaphysical rationalists Spinoza and Leibniz. Spinoza’s response was to embrace necessitarianism. Leibniz’s (...) response was to argue that, despite appearances, rationalism does not lead to necessitarianism. This paper examines the debate between these two rationalists and concludes that Leibniz has persuasive grounds for his opinion. This has significant implications both for the plausibility of the PSR and for our understanding of modality. (shrink)

_ Source: _Page Count 9 Global sceptical arguments seek to undermine vast swathes of our putative knowledge by deploying hypotheses that posit massive deception or error. Local sceptical arguments seek to undermine just a small region of putative knowledge, using hypotheses that posit deception or error of a more mundane kind. Those epistemologists who have devised anti-sceptical strategies have tended to have global sceptical arguments firmly in their sights. I argue here that local sceptical arguments, while less dramatic, ultimately pose (...) just as serious a challenge to our epistemic self-image and that some prominent anti-sceptical strategies are very poorly placed to meet it. (shrink)

Philosophers of logic are particularly interested in understanding the aims, epistemology, and methodology of logic. This raises the question of how the philosophy of logic should go about these enquires. According to the practice-based approach, the most reliable method we have to investigate the methodology and epistemology of a research field is by considering in detail the activities of its practitioners. This holds just as true for logic as it does for the recognised empirical and abstract sciences. If we wish (...) to systematically understand the aims and epistemology of logic, we are best placed achieving this by looking at what logicians do, rather than reflecting upon the nature of logic itself. In this entry, we outline the motivations for a practice-based approach towards the philosophy of logic and highlight its advantages over more “top-down” approaches, which attempt to infer conclusions about the nature of logic and its methodology on the basis of traditional assumptions about knowledge, metaphysics, or logic itself. We end by addressing several prominent concerns raised against the practice-based approach. (shrink)

According to the principle of Conjunction Closure, if one has justification for believing each of a set of propositions, one has justification for believing their conjunction. The lottery and preface paradoxes can both be seen as posing challenges for Closure, but leave open familiar strategies for preserving the principle. While this is all relatively well-trodden ground, a new Closure-challenging paradox has recently emerged, in two somewhat different forms, due to Backes :3773–3787, 2019a) and Praolini :715–726, 2019). This paradox synthesises elements (...) of the lottery and the preface and is designed to close off the familiar Closure-preserving strategies. By appealing to a normic theory of justification, I will defend Closure in the face of this new paradox. Along the way I will draw more general conclusions about justification, normalcy and defeat, which bear upon what Backes :2877–2895, 2019b) has dubbed the ‘easy defeat’ problem for the normic theory. (shrink)

In resource-limited settings where healthcare services are limited and poverty is common, it is difficult to ethically conduct clinical research without providing patient-care. Therefore, integration of patient-care with clinical research appears as an attractive way of conducting research while providing patient-care. In this article, we discuss the ethical implications of such approach with perspectives from Papua New Guinea.

Companies committed to corporate social responsibility should ensure that their managers possess the appropriate competencies to effectively manage the CSR adaptation process. The literature provides insights into the individual competencies these managers need but fails to prioritize them and adequately contextualize them in a manner that makes them meaningful in practice. In this study, we contextualized the competencies within the different job roles CSR managers have in the CSR adaptation process. We interviewed 28 CSR managers, followed by a survey to (...) explore the relative importance of the competencies within each job role. Based on our analysis, we identified six distinct managerial roles, including strategic, coordinating, and stimulating roles. Next, we identified per role key individual CSR-related competencies as prioritized by the respondents. Our results show that the context, as indicated in this study by CSR managers’ job roles, indeed influenced the importance of particular CSR-related competencies, because each role seems to require a different combination and prioritization of these competencies. Moreover, the results suggest that the relative importance of these competencies within each role may be driven by business logic rather than an idealistic logic. The results are presented as a competence profile which can serve as a reflection tool and as a frame of reference to further develop the competence profile for CSR managers. (shrink)

In this paper I propose a new solution to the problem of change: situationalism. According to this view, parts of reality fundamentally disagree about what is the case and reality as a whole is unsettled (i.e. metaphysically indeterminate). When something changes, parts of the world irreconcilably disagree about what properties it has. From this irreconcilable disagreement, indeterminacy arises. I develop this picture using situations, which are parts of possible worlds; this gives it the name situationalism. It allows a B-theory endurance (...) view on which there is genuine incompatibility when things change. There are costs to the view, which are explored, but it is a novel approach which offers a distinct explanation of what happens when things exist through change. (shrink)

What might a contemporary philosophical practice after and following Foucault look like? After briefly analyzing Foucault’s rather ambiguous stance towards academic philosophy in his posthumously published Le discours philosophique, we argue for continuing his historico-philosophical practice of diagnosing the present. This means taking up his analytic heuristic (with its three dimensions of power, knowledge and subjectivity) rather than his more concrete diagnostic concepts and the specific historical results they yield. We argue that the common methodological operation on each of the (...) three axis is to shift the perspective from the given legitimacies, norms, identities and selves to their historical, conflict-ridden emergence. Practicing philosophy in this way allows developing Foucauldian contributions in two contemporary philosophical debates: critical ontology and political epistemology. While ontology and epistemology might seem surprising fields to work in for philosophers inspired by and critically loyal to Foucault, we attempt to dispel these reservations and illustrate the stakes in both debates, pointing to the urgent issues of ecological questions and of the problematization of untruths in politics respectively. (shrink)

Theories of epistemic justification are commonly assessed by exploring their predictions about particular hypothetical cases – predictions as to whether justification is present or absent in this or that case. With a few exceptions, it is much less common for theories of epistemic justification to be assessed by exploring their predictions about logical principles. The exceptions are a handful of ‘closure’ principles, which have received a lot of attention, and which certain theories of justification are well known to invalidate. But (...) these closure principles are only a small sample of the logical principles that we might consider. In this paper, I will outline four further logical principles that plausibly hold for justification and two which plausibly do not. While my primary aim is just to put these principles forward, I will use them to evaluate some different approaches to justification and (tentatively) conclude that a ‘normic’ theory of justification best captures its logic. (shrink)

There is a type of metaphysical picture that surfaces in a range of philosophical discussions, is of intrinsic interest, and yet remains ill-understood. According to this picture, the world contains a range of standpoints relative to which different facts obtain. Any true representation of the world cannot but adopt a particular standpoint. The aim of this paper is to propose a regimentation of a metaphysics that underwrites this picture. Key components are a factive notion of metaphysical relativity, a deflationary notion (...) of adopting standpoints, and two kinds of valid inference, one that allows one to abandon standpoints and one that does not. To better understand how theories formulated in terms of this framework are situated in dialectical space, I sketch a theory in the philosophy of time that admits both temporal and atemporal standpoints. (shrink)